Nested Sequent Calculus - Internet Explorer 2.0